x^32+y^31, x+y=4, xy=1